1

Use of object oriented technologies in high reliability system

Year:
2010
Language:
english
File:
PDF, 344 KB
english, 2010
9

Designing and checking coding standards for ada

Year:
2011
Language:
english
File:
PDF, 347 KB
english, 2011
10

Developing a profile for using object-oriented Ada in high-integrity systems

Year:
2011
Language:
english
File:
PDF, 69 KB
english, 2011
14

A methodology for avoiding known compiler problems using static analysis

Year:
2010
Language:
english
File:
PDF, 469 KB
english, 2010
15

How to make ada go 'viral'

Year:
2011
Language:
english
File:
PDF, 281 KB
english, 2011